Epistemic Logics with Structured Knowledge
نویسندگان
چکیده
منابع مشابه
Epistemic Conditional Logics
This paper develops two conditional logics that allows one to reason about the belief of another agent (which reasons in conditional logic himself). The desirable properties of such logics that reason about the beliefs of another non-monotonic agent are discussed and the two logics proposed here are shown to have those properties.
متن کاملConnecting dynamic epistemic and temporal epistemic logics
We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke model with equivalence relations) and a formula in a dynamic epistemic logic (a logic describing the consequences of epistemic actions), we construct an interpreted syste...
متن کاملSubstructural epistemic logics
In many common epistemic scenarios, the warrant provided by the body of evidence available to an agent does not seem to be closed under classical consequence. It may be the case that evidence gathered during a criminal investigation provides inconsistent information without thereby supporting the existence of extraterrestrials. It may be the case that an agent has gathered enough evidence to se...
متن کاملQuantified Epistemic Logics with Flexible Terms
We present a family of quantified epistemic logics for reasoning about knowledge in multi-agent systems. The language enjoys flexible terms with different denotations depending on the epistemic context in which they are interpreted. We present syntax and semantics of the language formally and show completeness of an axiomatisation. We discuss the expressive features of the language by means of ...
متن کاملDynamic Epistemic Logics
Dynamic epistemic logic, broadly conceived, is the study of rational social interaction in context, the study, that is, of how agents update their knowledge and change their beliefs on the basis of pieces of information they exchange in various ways. The information that gets exchanged can be about what is the case in the world, about what changes in the world, and about what agents know or bel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2019
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2019.07.009